Normalisation by evaluation - PDFSEARCH.IO - Document Search Engine

Normalisation by evaluation
Results: 38

#	Item
21	Parametric polymorphism through run-time sealing or, Theorems for low, low prices! Jacob Matthews1 and Amal Ahmed2 2 1 University of Chicago Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-03-19 19:06:29 Symbol Programming language semantics Normalisation by evaluation
22	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
23	Dedukti: A Universal Proof Checker Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-10 11:27:57 Computing Lambda calculus Program analysis Type system ParisTech Normalisation by evaluation Coq Valuation Programming language theory Software engineering Type theory
24	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory
25	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
26	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
27	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
28	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-29 17:25:52 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
29	Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2004-05-28 07:25:30 Logic in computer science Lambda calculus Models of computation Type theory Symbol Type system Valuation Combinatory logic Normalisation by evaluation Theoretical computer science Mathematics Applied mathematics
30	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering

UPDATE